---

automated reasoning tool

英 [ˈɔːtəmeɪtɪd ˈriːznɪŋ tuːl] 美 [ˈɔːtəmeɪtɪd ˈriːznɪŋ tuːl]

网络  自动化推论工具; 自动推理工具

计算机

---

---